/LMAR=0/FONT#0=FIX25/FONT#1=SIGN57/FONT#2=SHD40/FONT#3=BDI25/FONT#4=NGB30/FONT#5=NGR20
␈↓ α,␈↓␈↓αBEINGS␈↓␈↓ 
Y␈↓βDoug Lenat␈↓


␈↓ α,␈↓␈↓↓APPENDIX 1. ␈↓   ␈↓αBEING PARTS␈↓

␈↓ α,␈↓␈↓βIDEN␈α# ␈↓␈α# How␈α# is␈α$ this␈α# BEING␈α# referenced␈α# in␈α$ English␈α# sentences?
␈↓ α,␈↓Implemented␈α≡ as␈α≡ productions,␈α≡ whose␈α≡ left␈α≡sides␈α≡may␈α≡make␈α≡arbitrarily
␈↓ α,␈↓complex␈α∪examinations␈α∪of␈α∪the␈α∀world␈α∪(search␈α∪for␈α∪assertions␈α∪and␈α∀query␈α∪BEINGs'
␈↓ α,␈↓parts),␈α∩and␈α⊃whose␈α∩right␈α∩ sides␈α⊃ may␈α∩ cause␈α⊃arbitrarily␈α∩complex␈α∩side␈α⊃effects
␈↓ α,␈↓before returning a value.

␈↓ α,␈↓␈↓βARGS␈α⊃␈↓␈α⊂How␈α⊃many?␈α⊂  Which␈α⊃are␈α⊂required␈α⊃and␈α⊂which␈α⊃are␈α⊂optional?␈α⊃What␈α⊂variables
␈↓ α,␈↓must␈α⊃remain␈α∩local␈α⊃to␈α∩this␈α⊃BEING?␈α∩  Which␈α⊃ global␈α∩ variables␈α⊃are␈α∩accessed␈α⊃by
␈↓ α,␈↓some part of this BEING?

␈↓ α,␈↓␈↓βARG-CHECK␈α'  ␈↓␈α'  Predicates␈α(  which␈α'  examine␈α'  each␈α( argument␈α' for
␈↓ α,␈↓suitability.␈α_This␈α_could␈α_include␈α_whether␈α_defined,␈α_ whether␈α_ numerical,␈α_or
␈↓ α,␈↓something␈α↔ more␈α↔ complex␈α⊗ (e.g.,␈α↔ is␈α↔it␈α⊗the␈α↔name␈α↔of␈α⊗a␈α↔BEING␈α↔whose␈α⊗DATA-
␈↓ α,␈↓STRUCTURE part requires it be initialized to a non-null value?)

␈↓ α,␈↓␈↓βEVAL-ARGS␈α⊃␈↓␈α∩Is␈α⊃the␈α⊃program␈α∩an␈α⊃ NLAMBDA?␈α⊃ Is␈α∩ the␈α⊃ code␈α⊃ it␈α∩ writes␈α⊃NLAMBDA?
␈↓ α,␈↓If  so,  which  arguments (if any) should be evaluated upon entry?

␈↓ α,␈↓␈↓βWHAT␈α_␈↓␈α_A␈α_brief␈α_summary␈α_of␈α_the␈α_global␈α_purpose␈α_of␈α_the␈α_BEING.␈α_   This␈α↔is
␈↓ α,␈↓usually␈α$ a␈α# template␈α$ for␈α# an␈α$ English␈α# sentence,␈α$more␈α$useful␈α#for
␈↓ α,␈↓communication␈α∪with␈α∪the␈α∪user␈α∪than␈α∪with␈α∪other␈α∪BEINGs.␈α∪ The␈α∪variables␈α∪in␈α∩this
␈↓ α,␈↓sentence␈α~could␈α→be␈α~instantiated␈α~by␈α→examining␈α~the␈α→world,␈α~by␈α~asking␈α→other
␈↓ α,␈↓BEINGs, by the BEING who called this one, etc.

␈↓ α,␈↓␈↓βWHY␈α∩␈↓␈α∩A␈α∪justification␈α∩ for␈α∩ this␈α∩ BEING's␈α∪ existence;␈α∩ why␈α∩ it␈α∪ is␈α∩called.
␈↓ α,␈↓The␈α⊃role␈α⊃of␈α⊃the␈α⊃caller␈α⊃to␈α⊃fill␈α⊃in␈α⊃pieces␈α⊃of␈α⊃WHY␈α⊃is␈α⊃much␈α⊃more␈α∩important␈α⊃than
␈↓ α,␈↓with the WHAT part.

␈↓ α,␈↓␈↓βHOW␈α∀ ␈↓␈α∪ A␈α∀ summary␈α∪ of␈α∀ the␈α∪ method(s)␈α∀used␈α∪by␈α∀the␈α∪BEING␈α∀to␈α∪do␈α∀its␈α∪thing.
␈↓ α,␈↓This␈α↔is␈α↔a␈α⊗summary␈α↔of␈α↔the␈α⊗global␈α↔ strageties␈α↔ this␈α⊗ BEING␈α↔ will␈α↔try,␈α⊗ as
␈↓ α,␈↓contrasted␈α⊂to␈α⊂the␈α⊂more␈α⊂specific␈α⊂parts␈α⊂listed␈α⊂below.␈α⊂ Again,␈α⊂this␈α⊂is␈α⊂more␈α⊂for
␈↓ α,␈↓the user's benefit than for other BEINGs'.

␈↓ α,␈↓␈↓βEFFECTS␈α∃ ␈↓␈α∃ What␈α⊗ will␈α∃ be␈α∃ true␈α⊗  after␈α∃  calling␈α∃  this␈α⊗  BEING?␈α∃ Post-
␈↓ α,␈↓conditions.␈α⊂   These␈α⊂are␈α⊂broken␈α⊂into␈α⊂main␈α⊂and␈α⊂minor␈α⊂effects,␈α⊂and␈α⊂weighted␈α⊂as
␈↓ α,␈↓to␈α∃certainty␈α∃ that␈α∃ they␈α∃ will␈α∀ occur.␈α∃    This␈α∃ part␈α∃ is␈α∃implemented␈α∀ as
␈↓ α,␈↓productions:␈α↔ all␈α↔the␈α⊗EFFECTS␈α↔parts␈α↔of␈α⊗all␈α↔the␈α↔BEINGS␈α⊗are␈α↔merged␈α↔into␈α⊗a
␈↓ α,␈↓large␈α∀production␈α∪system.␈α∀This␈α∪is␈α∀then␈α∪searched␈α∀(pattern-invoked)␈α∀when␈α∪some
␈↓ α,␈↓BEING wants something to be true.

␈↓ α,␈↓␈↓βWHEN␈α⊃ ␈↓␈α⊃Factors␈α⊃and␈α⊃weights␈α⊃giving␈α⊃the␈α⊃BEING's␈α⊃temporal␈α⊃immediacy.␈α⊃ This␈α⊃is
␈↓ α,␈↓computed␈α_as␈α_a␈α_sum␈α_of␈α_weighted␈α_factors.␈α_ Although␈α_PUP6␈α_ should␈α_ probably
␈↓ α,␈↓compare␈α≠ descriptions␈α≠ of␈α≠"desire␈α≤to␈α≠be␈α≠in␈α≠control,"␈α≠rather␈α≤than␈α≠just
␈↓ α,␈↓numbers,␈α≤this␈α≥works␈α≤sufficiently␈α≥well␈α≤for␈α≥the␈α≤ present.␈α≥ Perhaps␈α≤ the
␈↓ α,␈↓weakness␈α∀of␈α∀perceptrons␈α∪is␈α∀important␈α∀only␈α∪if␈α∀they␈α∀are␈α∪a␈α∀major␈α∀part␈α∀of␈α∪the


␈↓ α,␈↓␈↓¬Fourth Draft .... October 21, 1974␈α?␈α?␈α?␈α?␈α$page A1.1␈↓ 
jBEING PARTS
␈↓ α,␈↓␈↓αBEINGS␈↓␈↓ 
Y␈↓βDoug Lenat␈↓


␈↓ α,␈↓program.␈α∩In␈α∩our␈α∪case,␈α∩each␈α∩BEING␈α∪has␈α∩a␈α∩set␈α∩of␈α∪triples␈α∩here,␈α∩ each␈α∪of␈α∩which
␈↓ α,␈↓is␈α⊂a␈α⊂BEING␈α⊂call.␈α⊂They␈α⊂must␈α⊂EVALuate␈α⊂to,␈α⊂respectively,␈α⊂T/NIL,␈α⊂a␈α⊂weight␈α⊂(to␈α⊂be
␈↓ α,␈↓added in  if  T),  and  a  sentence  justifying  this particular factor.

␈↓ α,␈↓␈↓βMETA-CODE␈α⊂ ␈↓␈α⊂ The␈α∂ "body"␈α⊂ of␈α⊂ the␈α∂ code,␈α⊂ but␈α⊂with␈α⊂uninstantiated␈α∂subparts.
␈↓ α,␈↓This␈α∀may␈α∪contain␈α∀goal␈α∪statements,␈α∀nondeterministic␈α∪calls␈α∀to␈α∀other␈α∪ BEINGS,
␈↓ α,␈↓uninstantiated␈α∩ pieces␈α⊃ which␈α∩ fill␈α∩ themselves␈α⊃in␈α∩by␈α⊃asking␈α∩other␈α∩parts␈α⊃of
␈↓ α,␈↓this BEING, its caller, or the user.

␈↓ α,␈↓␈↓βCOMMENTS␈α_␈↓␈α_This␈α_is␈α_a␈α_BEING␈α_part,␈α_and␈α_should␈α_be␈α_distinguished␈α_from␈α↔the
␈↓ α,␈↓English-like␈α↔sentences␈α↔which␈α↔are␈α↔scatterred␈α↔throughout␈α↔each␈α↔part␈α_to␈α↔aide
␈↓ α,␈↓comprehension.␈α∀This␈α∃part␈α∀ is␈α∀simply␈α∃a␈α∀list␈α∀of␈α∃instructions␈α∀for␈α∃filling␈α∀in
␈↓ α,␈↓undefined␈α∪"slots"␈α∪in␈α∪other␈α∪parts.␈α∪Each␈α∪member␈α∪of␈α∪COMMENTS␈α∪is␈α∪evalled,␈α∩just
␈↓ α,␈↓prior to attempting the META:CODE part.

␈↓ α,␈↓␈↓βREQUISITES␈α∀␈↓␈α∀Suppose␈α∀this␈α∀BEING␈α∀␈↓βis␈↓␈α∀chosen␈α∀to␈α∀ be␈α∀ in␈α∀ control.␈α∃ What␈α∀ must
␈↓ α,␈↓be␈α⊂ satisfied␈α⊂ just␈α⊂ before␈α⊂ (pre-)␈α⊂ the␈α⊂ BEING␈α⊂executes?␈α⊂ just␈α⊂after␈α⊂(post-
␈↓ α,␈↓)and␈α⊂during␈α⊂(co-)␈α⊂execution?␈α⊂This␈α⊂ is␈α⊂ really␈α⊂ three␈α⊂separate␈α⊂ BEING␈α⊂ parts.
␈↓ α,␈↓The␈α⊃satisfying␈α⊂is␈α⊃␈↓βactive␈↓,␈α⊂in␈α⊃that␈α⊂if␈α⊃the␈α⊂conditions␈α⊃aren't␈α⊂true,␈α⊃other␈α⊂BEINGs
␈↓ α,␈↓will␈α→be␈α_called␈α→to␈α_ try␈α→ to␈α→ make␈α_them␈α→ true.␈α_ (If␈α→ ␈↓βpassive␈↓,␈α→ the␈α_ BEING
␈↓ α,␈↓would  simply  fail.  The ARG-CHECK part is passive in this sense.)

␈↓ α,␈↓␈↓βDEMONS␈α" ␈↓␈α! Which␈α" demons␈α! should␈α" be␈α! enabled␈α" during␈α" the␈α!BEING's
␈↓ α,␈↓execution?␈α⊂They␈α⊂remain␈α⊂active␈α⊂as␈α⊂long␈α⊂as␈α⊂this␈α⊂BEING␈α⊂activation␈α⊂exists␈α⊂in␈α⊂the
␈↓ α,␈↓control tree.

␈↓ α,␈↓␈↓βAFFECTS␈α⊂ ␈↓␈α⊂ Which␈α⊃other␈α⊂BEINGs␈α⊂might␈α⊃be␈α⊂called␈α⊂by␈α⊃this␈α⊂BEING?␈α⊂Why?␈α⊃ That␈α⊂is,
␈↓ α,␈↓which parts of this BEING want what to be done?

␈↓ α,␈↓␈↓βCOMPLEXITY␈α"␈↓␈α#A␈α"vector␈α"describing␈α#such␈α"features␈α# as␈α" recursiveness,
␈↓ α,␈↓transparency␈α≤ to␈α≥ user,␈α≤etc.␈α≥Often␈α≤the␈α≥CHOOSE-FROM␈α≤BEING␈α≥will␈α≤compare
␈↓ α,␈↓several␈α≠BEINGs␈α≠by␈α≠a␈α≤linear␈α≠ function␈α≠ on␈α≠ this␈α≠ vector.␈α≤  The␈α≠ actual
␈↓ α,␈↓components␈α→ settled␈α~ on␈α→ were:␈α→ how␈α~easy␈α→it␈α→is␈α~to␈α→call,␈α→its␈α~chance␈α→of
␈↓ α,␈↓calling*␈α∀itself,␈α∃its␈α∀chance␈α∀of␈α∃succeeding,␈α∀the␈α∀effort␈α∃in␈α∀ trying␈α∃ it,␈α∀the
␈↓ α,␈↓efficiency␈α⊂of␈α⊂the␈α⊂code␈α⊂it␈α⊂will␈α⊂generate,␈α⊂and␈α⊂ whether␈α⊂ it␈α⊂ must␈α⊂be␈α⊂inhibited
␈↓ α,␈↓absolutely at present.  All these range over [0,1].

␈↓ α,␈↓␈↓βSPECIALIZATIONS␈α∪␈↓␈α∪How␈α∪to␈α∪write␈α∪a␈α∪ more␈α∪ streamlined,␈α∀ special-case␈α∪version
␈↓ α,␈↓of␈α∪ this␈α∪ BEING.␈α∩    What␈α∪decisions␈α∪must␈α∩be␈α∪made,␈α∪and␈α∩how␈α∪do␈α∪they␈α∩simplify
␈↓ α,␈↓the parts of the new BEING?

␈↓ α,␈↓␈↓βALTERNATIVES ␈↓ If this BEING fails,  what  are  some  equivalent BEINGs?

␈↓ α,␈↓␈↓βGENERALIZATIONS  ␈↓ What are some general BEINGs, encompassing this one?

␈↓ α,␈↓␈↓βPREDICATE␈α∩␈↓␈α∩How␈α∩many␈α∩values␈α∩does␈α∩this␈α∩BEING␈α∩return?␈α∩   What␈α∩is␈α∩the␈α∪type␈α∩of
␈↓ α,␈↓each one (numeric, logical, etc.)?  Are there side effects as well?


␈↓ α,␈↓␈↓¬Fourth Draft .... October 21, 1974␈α?␈α?␈α?␈α?␈α"page A1.2␈↓ 
jBEING PARTS
␈↓ α,␈↓␈↓αBEINGS␈↓␈↓ 
Y␈↓βDoug Lenat␈↓


␈↓ α,␈↓␈↓βDATA-STRUC␈α∩␈↓␈α∪If␈α∩it␈α∩is␈α∪ one,␈α∩ what␈α∩ must␈α∪ be␈α∩ done␈α∩ to␈α∪ initialize,␈α∩access,
␈↓ α,␈↓insert,␈α≥ and␈α≥ delete␈α≥ elements?␈α≥  What␈α≤is␈α≥the␈α≥structure␈α≥of␈α≥a␈α≤typical
␈↓ α,␈↓element?

␈↓ α,␈↓␈↓βENCODABLE␈α⊗␈↓␈α↔How␈α⊗to␈α⊗control␈α↔writing␈α⊗a␈α⊗specialized␈α↔new␈α⊗BEING:␈α↔which␈α⊗other
␈↓ α,␈↓BEING parts must be called, and in what order.

␈↓ α,␈↓␈↓βINHIBIT-CURRENT-DEMONS␈α∩␈↓␈α∩A␈α∪lock/unlock␈α∩mechanism.␈α∩When␈α∩handling␈α∪a␈α∩demonic
␈↓ α,␈↓interrupt, we cannot permit the demon to interrupt us again.

␈↓ α,␈↓␈↓βFORM-CHANGING␈α∪␈↓␈α∪Does␈α∀the␈α∪entire␈α∪form␈α∪of␈α∀some␈α∪new␈α∪BEING's␈α∪part(s)␈α∀have␈α∪to
␈↓ α,␈↓be altered?  If so, how?

␈↓ α,␈↓Below␈α⊃is␈α⊃listed,␈α⊃ for␈α∩ each␈α⊃ BEING␈α⊃part,␈α⊃the␈α∩number␈α⊃of␈α⊃BEINGS␈α⊃in␈α∩PUP6␈α⊃which
␈↓ α,␈↓had␈α↔this␈α↔part␈α_specified␈α↔for␈α↔them.␈α↔ Since␈α_there␈α↔were␈α↔exactly␈α_one␈α↔hundred
␈↓ α,␈↓BEINGS,␈α∪ these␈α∪ are␈α∪also␈α∪percentages.␈α∪  On␈α∪the␈α∪average,␈α∪each␈α∪part␈α∪was␈α∩used
␈↓ α,␈↓in␈α⊂29.3%␈α⊂of␈α⊂all␈α⊂BEINGs.␈α⊂This␈α⊃is␈α⊂slightly␈α⊂unfair␈α⊂to␈α⊂PUP6,␈α⊂since␈α⊂the␈α⊃␈↓βabsence␈↓␈α⊂of
␈↓ α,␈↓some␈α∃BEING␈α∃parts␈α∃(e.g.,␈α∃NLAMBDA)␈α∀conveys␈α∃a␈α∃nontrivial␈α∃bit␈α∃of␈α∀information.
␈↓ α,␈↓Also present is the ␈↓βuse␈↓ of each part.

␈↓ α,␈↓54  IDEN                Decide if this BEING gets control
␈↓ α,␈↓35  IMPLICIT:ARGS       Initialize when this BEING gets control
␈↓ α,␈↓63  EXPLICIT:ARGS       Bind when this BEING gets control
␈↓ α,␈↓81  EXPLICIT:ARGS:CHECK Evaluate when this BEING gets control
␈↓ α,␈↓ 4  NLAMBDA             Evaluate when this BEING gets control
␈↓ α,␈↓ 3  NON:EVAL:ARGS       Used when creating specialization of this BEING
␈↓ α,␈↓82  WHAT                Instantiate and type out to user if requested
␈↓ α,␈↓77  HOW                 Instantiate and type out to user if requested
␈↓ α,␈↓72  WHY                 Instantiate and type out to user if requested
␈↓ α,␈↓27  MAIN:EFFECTS        Decide if this BEING gets control
␈↓ α,␈↓ 2  MINOR:EFFECTS       Decide if this BEING gets control
␈↓ α,␈↓19  WHEN                Decide if this BEING gets control
␈↓ α,␈↓70  META:CODE           Evaluate when this BEING gets control
␈↓ α,␈↓16  COMMENTS            Evaluate when this BEING gets control
␈↓ α,␈↓ 6  PRE:REQUISITES      Satisfy when this BEING gets control
␈↓ α,␈↓ 0  CO:REQUISITES       Satisfy when this BEING gets control
␈↓ α,␈↓ 9  POST:REQUISITES     Satisfy when this BEING gets control
␈↓ α,␈↓ 7  DEMONS              Activate when this BEING gets control
␈↓ α,␈↓14  AFFECTS             Decide if this BEING gets control
␈↓ α,␈↓92  COMPLEXITY:VECTOR   Decide if this BEING gets control
␈↓ α,␈↓27  GENERALIZATIONS     Decide what BEING to pass control to
␈↓ α,␈↓40  SPECIALIZATIONS     Used when creating specialization of this BEING
␈↓ α,␈↓16  ALTERNATIVES        Decide what BEING to pass control to
␈↓ α,␈↓15  PREDICATE           Asked questions by other BEINGs' parts
␈↓ α,␈↓ 4  DATA:STRUCTURE      Asked questions by other BEINGs' parts
␈↓ α,␈↓ 9  ENCODABLE           Used when creating specialization of this BEING
␈↓ α,␈↓ 5  INHIBIT:CURRENT:DEMONS    Eval. when this BEING gets control
␈↓ α,␈↓ 1  FORM:CHANGING       Evaluate when this BEING gets control

␈↓ α,␈↓␈↓¬Fourth Draft .... October 21, 1974␈α?␈α?␈α?␈α?␈α"page A1.3␈↓ 
jBEING PARTS